1. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
2. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
3. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
4. Introductory logic and sets for computer
پدیدآورنده : / Nimal Nissanke
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Computer Logic,Set theory
رده :
004
.
015113
N726i
5. Introductory logic and sets for computer scientists
پدیدآورنده : Nissanke, Nimal.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer logic,، Set theory
رده :
QA
76
.
9
.
L63
N57
1999
6. Introductory logic and sets for computer scientists
پدیدآورنده : Nimal Nissanke
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer logic,Set theory
رده :
QA
76
.
9
.
L63
,
N57
7. Introductory logic and sets for computer scientists
پدیدآورنده : Nissanke, Nimal
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer logic,، Set theory
رده :
QA
76
.
9
.
L63
.
N57
1999
8. Introductory logic and sets for computer scientists
پدیدآورنده : Nimal Nissanke
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer logic,Set theory
رده :
QA
76
.
9
.
L63
,
N57
9. Logic, sets and functions /
پدیدآورنده : Daniel Bonevac, Nicholas M. Asher, Robert C. Koons.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic-- Computer-assisted instruction.,Logic.,PLATO (Electronic computer system),Set theory-- Computer-assisted instruction.,Set theory.,Logic-- Computer-assisted instruction.,Logic.,PLATO (Electronic computer system),Set theory-- Computer-assisted instruction.,Set theory.
رده :
BC71
B5925
1999
